Nuprl Definition : sys-valid
11,40
postcript
pdf
Sys
(valid) == (
Sys
|valid-sys-dcdr{i:l}(
es
;
Config
;
Cmd
;
Sys
))
latex
clarification:
sys-valid{i:l}(
es
;
Config
;
Cmd
;
Sys
) == (
Sys
|valid-sys-dcdr{i:l}(
es
;
Config
;
Cmd
;
Sys
))
latex
Definitions
(
I
|
p
)
,
valid-sys-dcdr{i:l}(
es
;
Config
;
Cmd
;
Sys
)
FDL editor aliases
sys-valid
origin